@InProceedings{nsss-aplas12,
  author = 	 {{J}.{A}.{N}avas, {P}. {S}chachte and {H}. {S}{\o}ndergaard} and {P}. {J}. {S}tuckey},
  title = 	 {{S}ignedness-{A}gnostic {P}rogram {A}nalysis: {P}recise {I}nteger {B}ounds for {L}ow-{L}evel {C}ode},
  booktitle = {10th APLAS},
  publisher = springer,
  series    = lncs,
  notes     = {To appear.}
  year      = {2012}
}
